1. An introduction to combinators and )Lambda(-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
2. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
3. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
4. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
5. Combinatory logic
پدیدآورنده : / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Combinatory logic
رده :
511
.
3
C976
6. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
7. Combinatory logic
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
C87
8. Combinatory logic
پدیدآورنده : Katalin Bimbao
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Combinatory logic
رده :
QA
9
,.
5
.
B52C6
2012
9. Combinatory logic. Volume II
پدیدآورنده : [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
10. Combinatory logic : pure, applied and typed
پدیدآورنده : Bimbo, Katalin, 3691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
B55C6
11. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S55
1992
12. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
13. Disertación acerca del arte combinatorio
پدیدآورنده : de G.W. Leibniz ; versión directa del Latín, Manuel Antonio Correia M.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatory logic.,Leibniz, Gottfried Wilhelm, -- Freiherr von, -- 1646-1716 -- Logic.,LOGICA COMBINATORIA.
رده :
QA9
.
5
D449
1992
14. Elements of combinatory logic
پدیدآورنده : / Frederic B. Fitch
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Combinatory logic
رده :
511
.
3
Fi-E
15. Introduction to combinators and ]lambda[-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56
1986
16. Lambda-calculus and combinators : an introduction
پدیدآورنده : Hindley, J. Roger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H56L3
17. Lambda-calculus and combinators, an introduction
پدیدآورنده : Hindley, J. Roger.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H565
2008
18. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Lambda-calculus, combinators, and functional programming
پدیدآورنده : Revesz, Gyorgy E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
